6.1 KB · ⇊ 3 parts · ⤓ Micron 6.1 KB · ⤓ HTML 11.2 KB

top

Nell'mwawinformatica, i termini mwbaTBox e mwbqABox descrivono due diversi tipi di mwbgistruzioni nelle mwbwbasi di conoscenza. Le istruzioni TBox sono la "componente terminologica" che descrive un mwcadominio di interesse, definendone mwcqclassi e mwcgproprietà come un vocabolario di quel dato dominio. Le dichiarazioni di ABox sono la "componente mwcwassertiva", intese come mwdafatti associati al mwdqmodello concettuale o alle mwdgontologie di TBox.cite-ref-trg93-1-0[1] Unitamente, le istruzioni ABox e TBox costituiscono una base di conoscenza o un mwewgrafico della conoscenza.

Le istruzioni ABox devono essere conformi a quelle TBox poiché sono asserzioni che utilizzano il vocabolario definito dalla istruzione TBox.

Le istruzioni TBox sono talvolta associate a classi mwfgorientate agli oggetti, mentre le istruzioni ABox sono associate a mwfwistanze di tali classi.

• Esempi

• Note

• Voci correlate

Le istruzioni ABox in genere trattano mwggentità concrete. Specificano a quale categoria appartiene un'entità o quale mwgwrelazione ha un'entità con un'altra entità. Esempi in astratto:

• L'elemento A è un'istanza della categoria C

• L'elemento A ha questa relazione con l'elemento B

Esempi concreti:

• La mwigNigeria è un paese.

• Il mwjaCiad è un paese

• La Nigeria è accanto al Ciad.

• mwjwAgadez è una città.

• Agadez si trova in Nigeria.

Ordinariamente, le istruzioni TBox (o definizioni di categorie di dominio e relazioni implicite) sono del tipo:

• Un'entità X può essere un paese o una città

• A è accanto a B se B è accanto ad A

• Quindi mwlwla Nigeria è accanto al Ciad mwmaimplica che mwmqil Ciad è accanto alla Nigeria.

• X è un luogo se X è una città o X è una nazione.

• Quindi, mwnqla Nigeria è un paese implica che mwngla Nigeria è un luogo.

• il luogo A contiene il luogo B se il luogo B si trova in A.

• Quindi, mwogAgadez si trova in Nigeria implica che mwowla Nigeria contenga Agadez.

Le istruzioni TBox tendono ad essere meno variabili nel tempo all'interno di una base di conoscenza e vengono utilizzate e archiviate come schema o modello dei dati. Al contrario, le istruzioni ABox sono di natura molto più dinamica e tendono ad essere archiviate come dati di un'istanza di una mwpqtransazione del database.

Con i più recenti database mwpwNoSQL e in particolare con i database RDF (vedi mwqaTriplestore) questa distinzione sotto il profilo archivistico potrebbe non essere più applicabile. Dati e modelli possono essere archiviati utilizzando lo stesso approccio. Tuttavia, i modelli continuano a essere più permanenti, hanno un ciclo di vita diverso e sono generalmente archiviati come grafi separati all'interno dei database.

cite-note-trg93-11. ↑ mwrwThomas R. Gruber, mwsqmwsgA translation approach to portable ontology specifications (mwswmwtaPDF), in mwtqKnowledge Acquisition, vol.mwtg 5, n.mwtw 2, giugno 1993, pp.mwua 199-220, mwuqDOI:mwug10.1006/knac.1993.1008.

• mwvgLogica descrittiva

• mwwaMetadato

• mwwgWeb Ontology Language